61. Complex analysis and geometry :
پدیدآورنده : edited by Vicenzo Ancona, Edoardo Ballico, Alessandro Silva.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functions of several complex variables -- Congresses.,Geometry, Algebraic -- Congresses.,MATHEMATICS -- Calculus.
رده :
QA564
.
E358
1996
62. Complex analysis, microlocal calculus and relativistic quantum theory: Proceedings of the colloquium held at les Houches, centre de physique September 1979
پدیدآورنده : Edited by D. Lagolnitzer
موضوع : Relativistic quantum theory - Congresses,Functions of complex variables - Congresses,Calculus, differential - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Complex analysis, microlocal calculus, and relativistic quantum theory : proceedings of the colloquium held at Les Houches, Centre de Physique, September 1979
پدیدآورنده : edited by D. Iagolnitzer
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Relativistic quantum theory,Congresses ، Functions of complex variables,Congresses ، Calculus, Differential
رده :
QC
174
.
45
.
A1
I57
1979
64. Complex analysis, microlocal calculus, and relativistic quantum theory : proceedings of the colloquium held at les Houches, Centre de physique, September, 1979
پدیدآورنده : edited by D. Iagolnitzer
کتابخانه: (طهران)
موضوع : Congresses ، Relativistic quantum theory,Congresses ، Quantum field theory,Congresses ، Functions of real variables,Congresses ، Differential calculus
رده :
QC
3
.
L28
Vol
.
126
65. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
66. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
67. 1989 Conference on Nonlinear Analysis : Academia Sinica, Taipei, Republic of China, 19-24 June, 1989
پدیدآورنده : edited by Fon-Che Liu, Tai-Ping Liu
کتابخانه: (طهران)
موضوع : Congresses ، Nonlinear functional analysis,Congresses ، Differential equations, Nonlinear,Congresses ، Kinetic theory of liquids,Congresses ، Calculus of variations
رده :
QA
321
.
5
.
C65
1989
68. Context-aware systems and applications, and nature of computation and communication :
پدیدآورنده : Phan Cong Vinh, Vangalur Alagar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Context-aware computing, Congresses.,Context-aware computing.
رده :
QA76
.
5915
69. Control theory and the calculus of variations
پدیدآورنده : Edited by A. V. Balakrishnan
کتابخانه: (طهران)
موضوع : Congresses ، Control theory,Congresses ، Calculus of variations
رده :
QA
402
.
3
.
W6
1968
70. Control theory and the calculus of variations
پدیدآورنده : Workshop on Calculus of Variations and Control Theory, 8691, University of California, Los Angeles, 8691
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Control theory-- Congresses,، Calculus of variations-- Congresses
رده :
QA
402
.
3
.
W6
1968
71. Control theory & the calculus of variations
پدیدآورنده :
کتابخانه: (طهران)
موضوع : CONTROL THEORY-CONGRESSES , CALCULUS OF VARIATIONS-CONGRESSES
رده :
QA
402
.
3
.
W6
1968
72. Declarative agent languages and technologies IX :
پدیدآورنده : Chiaki Sakama [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
رده :
QA76
.
76
.
I58
C453
2012
73. Desenvolvimento assintotico e introducao ao calculo diferencial resurgente
پدیدآورنده : Cesar, Julio
کتابخانه: (طهران)
موضوع : Congresses ، Differential calculus,Congresses ، Asymptotic expansions
رده :
QA
305
.
C47
74. Developments in control theory towards glocal control
پدیدآورنده : edited by Li Qiu ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Control theory-- Mathematical models, Congresses.,Control theory, Congresses.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
75. Differential and Difference Equations with Applications
پدیدآورنده : \ Sandra Pinelas ... [et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Differential equations -- Congresses,Mathematics -- Calculus,معادله‌های دیفرانسیل -- کنگره‌ها,ریاضیات -- ح‍س‍اب‍ان
رده :
E-Book
,
76. Differential equations and dynamical systems :
پدیدآورنده : Abdulla Azamov, Leonid Bunimovich, Akhtam Dzhalilov, Hong-Kun Khang, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations, Congresses.,Dynamics, Congresses.,Dynamical Systems and Ergodic Theory.,Partial Differential Equations.,Differential calculus & equations.,Differential equations.,Dynamics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear science.
رده :
QA370
77. Dynamics, games and science I :
پدیدآورنده : Mauricio Matos Peixoto, Alberto Adrego Pinto, David A. Rand, Editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differentiable dynamical systems, Congresses.,Game theory, Congresses.,Mathematical physics, Congresses.,Differentiable dynamical systems.,Game theory.,Mathematical physics.,MATHEMATICS-- Differential Equations-- General.
رده :
QA614
.
8
.
D96
2011
78. European Congress of Mathematics :
پدیدآورنده : Volker Mehrmann, Martin Skutella, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics, Congresses.,General.,MATHEMATICS / Essays.,MATHEMATICS / Pre-Calculus.,MATHEMATICS / Reference.,Mathematics.,Mathematics.
رده :
QA1
79. Formal Grammar 2018 :
پدیدآورنده : Annie Foret, Greg Kobele, Sylvain Pogodalla (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Formal languages, Congresses.,Mathematical linguistics, Congresses.,Computational linguistics.,Formal languages.,Mathematical linguistics.
رده :
P98
.
I58
2018eb
80. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
